Natural examples of quasivarieties with EDPM

Generating Natural Adversarial Examples

Due to their complex nature, it is hard to characterize the ways in which machine learning models can misbehave or be exploited when deployed. Recent work on adversarial examples, i.e. inputs with minor perturbations that result in substantially different model predictions, is helpful in evaluating the robustness of these models by exposing the adversarial scenarios where they fail. However, th...

Universal Quasivarieties of Algebras

Two different notions of universal, one due to Hedrlín and Pultr in the 1960s and the other due to Sapir in the 1980s, are discussed, as well as the relationship between them. Some of the historical perspective and mathematical motivation lying behind them is also included, together with a brief overview of a variety meriting further investigation in this context.

Quasivarieties of Modular Ortholattices

Lattice of subquasivarieties of variety generated by modular ortholattices MOn, n 2 ! and MO! is described. In [3] Igo sin has proved that any subquasivariety of the variety M! is a variety. M! denoted variety generated by modular lattice M!, where M! is the lattice of length two with ! atoms. For short proof of this fact see [2]. In this note we present an orthomodular counterpart of this resu...

On Certain Quasivarieties of Quasi-MV Algebras

Quasi-MV algebras are generalisations of MV algebras arising in quantum computational logic. Although a reasonably complete description of the lattice of subvarieties of quasi-MV algebras has already been provided, the problem of extending this description to the setting of quasivarieties has so far remained open. Given its apparent logical repercussions, we tackle the issue in the present pape...

Ideals in Quasivarieties of Algebras